python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py philosophers-mdp.30.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py philosophers-mdp.30-domain.ppddl philosophers-mdp.30-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Parsing...
Parsing: [0.220s CPU, 0.224s wall-clock]
Normalizing task... [0.010s CPU, 0.011s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.010s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.059s wall-clock]
Preparing model... [0.050s CPU, 0.044s wall-clock]
Generated 4231 rules.
Computing model... [0.200s CPU, 0.197s wall-clock]
6329 relevant atoms
17040 auxiliary atoms
23369 final queue length
28468 total queue pushes
Completing instantiation... [0.160s CPU, 0.163s wall-clock]
Instantiating: [0.490s CPU, 0.490s wall-clock]
Computing fact groups...
Finding invariants...
5 initial candidates
Finding invariants: [0.000s CPU, 0.003s wall-clock]
Checking invariant weight... [0.000s CPU, 0.000s wall-clock]
Instantiating groups... [0.000s CPU, 0.000s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
361 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.001s wall-clock]
Computing fact groups: [0.000s CPU, 0.007s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.000s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.010s CPU, 0.010s wall-clock]
Translating task: [0.160s CPU, 0.156s wall-clock]
4740 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
0 propositions removed
Detecting unreachable propositions: [0.090s CPU, 0.097s wall-clock]
Reordering and filtering variables...
361 of 361 variables necessary.
0 of 0 mutex groups necessary.
4800 of 4800 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.030s CPU, 0.024s wall-clock]
Translator variables: 361
Translator derived variables: 0
Translator facts: 722
Translator goal facts: 1
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 4800
Translator axioms: 0
Translator task size: 25414
Translator peak memory: 56156 KB
Writing output... [0.020s CPU, 0.026s wall-clock]
Done! [1.040s CPU, 1.045s wall-clock]
reading input... [t=3.048e-05s]
done reading input! [t=0.00450653s]
variables: 361
goals: 1
actions: 4800
axioms: 0
has conditional effects: 0
reconstructing probabilistic actions... [t=0.00451715s]
done reconstructing probabilistic actions! [t=0.00787824s]
probabilistic actions: 4770 (with 4800 outcomes)
constructing successor generator... [t=0.0083474s]
done constructing successor generator! [t=0.00934993s]
Bytes per state: 48
Property: MaxProb
Preparing hmax dead end detection heuristic... [t=0.00944723s]
hmax initialization done! [t=0.01002s]
Engine: FRET-pi with HDP
Starting trap elimination heuristic search wrapper...
----------
Computation aborted after 1801.6993551254272 seconds since the total time limit of 1800 seconds was exceeded.